Skip to content

Bunch of small fixes cherry picked out from pluggable-discovery patch in #1333 #1351

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jul 6, 2021

Conversation

cmaglie
Copy link
Member

@cmaglie cmaglie commented Jul 6, 2021

No description provided.

@cmaglie cmaglie force-pushed the discovery-small-fixes branch from 14683e4 to 6724ffe Compare July 6, 2021 09:13
@cmaglie cmaglie merged commit e9c87a8 into arduino:master Jul 6, 2021
@cmaglie cmaglie deleted the discovery-small-fixes branch July 6, 2021 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants